<html>
<body>
从布尔表达式或函数创建断言。
</body>
</html>
